产生式有固定的格式，每一条产生式规则都由前提与结论（操作）两部分组成。A:正确 B:错误答案: 正确第四讲基于谓词逻辑的推理方法第四讲基于谓词逻辑的推理方法单元测试

点击这里，查看本门网课答案

产生式有固定的格式，每一条产生式规则都由前提与结论（操作）两部分组成。A:正确 B:错误 答案: 正确第四讲 基于谓词逻辑的推理方法 第四讲 基于谓词逻辑的推理方法单元测试